منابع مشابه
Toward Classifying Unstable Theories
We prove a consistency results saying, that for a simple (first order) theory, it is easier to have a universal model in some cardinalities, than for the theory of linear order. We define additional properties of first order theories, the n-strong order property (SOPn in short). The main result is that a first order theory with the 4-strong order property behaves like linear orders concerning e...
متن کاملToward Classifying Unstable Theories Sh500
We prove a consistency results saying, that for a simple (first order) theory, it is easier to have a universal model in some cardinalities, than for the theory of linear order. We define additional properties of first order theories, the n-strong order property (SOPn in short). The main result is that a first order theory with the 4-strong order property behaves like linear orders concerning e...
متن کاملToward Classifying Unstable
We prove a consistency results saying, that for a simple (first order) theory, it is easier to have a universal model in some cardinalities, than for the theory of linear order. We define additional properties of first order theories, the n-strong order property (SOPn in short). The main result is that a first order theory with the 4-strong order property behaves like linear orders concerning e...
متن کاملUnstable First-order Theories
In this paper, we examine the divide between stable and unstable first-order theories in model theory. We begin by defining a stable theory and proving Shelah’s theorem, which reduces the question of stability to a problem of examining a single formula. Afterwards, we will provide some applications of the stability/instability divide to other model-theoretic questions, such as the question of c...
متن کاملDividing Lines in Unstable Theories
The aim of this paper is to define various properties of formulas in first order theories, and prove the appropriate implications between these properties. Most definitions are taken from [3], but the definitions themselves and many of the proofs are due to Shelah (see [4, II]). We give citations at the beginning of proofs taken from other sources. Recall that a theory is stable if no formula h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1996
ISSN: 0168-0072
DOI: 10.1016/0168-0072(95)00066-6